program assertion造句

例句与造句

1. A temporal logic is normally built atop a simpler set of atomic small - unit propositions , such as traditional program assertions
   ）通常，时态逻辑构建于一组更简单的原子（小单元）命题之上，如传统程序断言。
2. It's difficult to find program assertion in a sentence. 用program assertion造句挺难的